package NP;
import java.util.Iterator;


//ce que doit au moins fournir l'objet certificat d'un pb
interface Certificat<T extends NP> { 

	public Iterator<Certificat> ToutesLesInstances();
	//iterateur pour pouvoir it�rer sur tous les certificats possibles pour l'instance du pb
	//remove() de l'iterator est ss effet;



	//condition suppl�mentaire: un certificat doit �tre born� polynomialment 
	public boolean estCorrect(T  pb); //retourne vrai si le certificat est juste pour le pb associ�
	public void alea(); //donne al�atoirement au certificat une valeur  parmi celles possibles pour l'instance du pb
	public void display(); //affiche le certificat, vous pouvez aussi red�finir toString
}


